(setq PRG '
(
	(int x y tot)
	(main
		(
		(scanf x)
		(scanf y)
		(printf (x + y))
		(tot = (x + y))
		(printf (tot))
		)
	)
)
)